Tree automata with one memory set constraints and cryptographic protocols

Tree automata with one memory set constraints and cryptographic protocols

Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols

Abstracting Cryptographic Protocols with Tree Automata

ing Cryptographic Protocols with Tree Automata ?

Visibly Tree Automata with Memory and Constraints

Tree automata with one memory have been introduced in 2001. They generalize both pushdown (word) automata and the tree automata with constraints of equality between brothers of Bogaert and Tison. Though it has a decidable emptiness problem, the main weakness of this model is its lack of good closure properties. We propose a generalization of the visibly pushdown automata of Alur and Madhusudan ...

Tree Automata with Memory, Visibility and Structural Constraints

Tree automata with one memory have been introduced in 2001. They generalize both pushdown (word) automata and the tree automata with constraints of equality between brothers of Bogaert and Tison. Though it has a decidable emptiness problem, the main weakness of this model is its lack of good closure properties. We propose a generalization of the visibly pushdown automata of Alur and Madhusudan ...